Skip to content

Conversation

gnzlbg
Copy link
Contributor

@gnzlbg gnzlbg commented Oct 28, 2017

A small step towards #139 .

@alexcrichton alexcrichton merged commit d21b5a8 into rust-lang:master Oct 29, 2017
@alexcrichton
Copy link
Member

👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants